using System;
using Microsoft.Pex.Framework;

namespace Benchmarks
{
    [PexClass(typeof(TestPathConditionRetrival))]
    public partial class TestPathConditionRetrival
    {
        [PexMethod]
        public void TestMETHOD(A a, B b )
        {
            if (a.Count > b.Count)
            {
                Console.WriteLine("1");
            }
            else
            {
                Console.WriteLine("2");
            }
        }
    }

    public class A
    {
        private C c = new C();

        public int Count
        {
            get { return c.Count; }
        }

        public void Increase()
        {
            c.Increase();
        }
    }

    public class C
    {
        private int count;

        public C()
        {
        }

        public C(int count)
        {
            this.count = count;
        }

        public int Count
        {
            get { return count; }
        }

        public void Increase()
        {
            count++;
        }

        public void Decrease()
        {
            count--;
        }
    }

    public class B
    {
       
        private C c = new C(10);

        public int Count
        {
            get { return c.Count; }
        }

        public void Decrease()
        {
            c.Decrease();
        }
    }

    
}